Кванторы


Кванторы

Кванторы [quantifiers] — символы  и . Квантор общности [generality q.] (перевернутая буква A от немецкого alle — «все») — читается «для всех…». Например, высказывание (xM) читается «для всех x, принадлежащих M…».

К. существования [existen­tial q.] обозначается перевернутой буквой Е (от немецкого existieren) и заменяет слово «существует». Например, (xM) расшифровывается так: «существует элемент x, принадлежащий М».

С К. можно производить определенные действия. Например, при отрицании К.  заменяется на  и наоборот:

… =

Если рассмотреть высказывание: «для любого x, принадлежащего M, P(x) — истинно», то отрицание этого высказывания будет: «существует x, принадлежащий M, такой, что отрицание P(x) истинно». Или, пользуясь символической записью:

(( xМ) (Р(x)=И)) = (xM) (P(x) = И).


Экономико-математический словарь: Словарь современной экономической науки. — М.: Дело. . 2003.

Смотреть что такое "Кванторы" в других словарях:

  • КВАНТОРЫ — (от лат. quantum сколько) в логике и математике логические эквиваленты слов все , каждый и т. п. (кванторы общности), некоторый , существует (кванторы существования) и др.; операторы, формализующие в исчислении предикатов логические свойства этих …   Большой Энциклопедический словарь

  • кванторы — Символы  и . Квантор общности [generality q.] (перевернутая буква A от немецкого alle «все») читается «для всех…». Например, высказывание (x ? M) читается «для всех x, принадлежащих M». К. существования [existential q.] обозначается перевернутой… …   Справочник технического переводчика

  • кванторы — (от лат. quantum  сколько), в логике и математике  логические эквиваленты слов «все», «каждый» и т. п. (кванторы общности), «некоторый», «существует» (кванторы существования) и др.; операторы, формализующие в исчислении предикатов логические… …   Энциклопедический словарь

  • КВАНТОРЫ — (от лат. quantum сколько), в логике и математике логич. эквиваленты слов все , каждый и т. п. (К. общности), некоторый , существует (К. существования) и др.; операторы, формализующие в исчислении предикатов логич. свойства этих выражений …   Естествознание. Энциклопедический словарь

  • Кванторы общности — Обобщение характеристик выборки на всю популяцию, универсальность ( каждый , все , никогда , ни один , и т. д.). Утверждение, которое не принимает во внимание никаких исключений. Краткий толковый психолого психиатрический словарь. Под ред.… …   Большая психологическая энциклопедия

  • Кванторы общности — Обобщение характеристик выборки на всю популяцию, универсальность ( каждый , все , никогда , ни один , и т. д.). Утверждение, которое не принимает во внимание никаких исключений …   Словарь нейролингвистического программирования

  • Кванторы общности — нлп Обобщение характеристик выборки на всю популяцию, универсальность ( каждый , все , никогда , ни один , и т. д.). Утверждение, которое не принимает во внимание никаких исключений …   Универсальный дополнительный практический толковый словарь И. Мостицкого

  • Квантификатор — Не путать с: Кантор фамилия, Кантор, Георг Фердинанд Людвиг Филипп известный математик Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката. Чаще всего упоминают квантор всеобщности (обозначение …   Википедия

  • Квантор общности — Не путать с: Кантор фамилия, Кантор, Георг Фердинанд Людвиг Филипп известный математик Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката. Чаще всего упоминают квантор всеобщности (обозначение …   Википедия

  • Кванторизация — Не путать с: Кантор фамилия, Кантор, Георг Фердинанд Людвиг Филипп известный математик Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката. Чаще всего упоминают квантор всеобщности (обозначение …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.